Merge pull request #1861 from Yann-lms/checkpatch
authorDimitris Papastamos <[email protected]>
Wed, 13 Mar 2019 13:58:10 +0000 (13:58 +0000)
committerGitHub <[email protected]>
Wed, 13 Mar 2019 13:58:10 +0000 (13:58 +0000)
Update checkpatch options


Trivial merge